Home

extract-headless ket
categories are separated by ": "
with the most general category on the left, and the most specific on the right
for example |animal: mammal: dog>
has the most general category "animal", then the category "mammal" and then finally the "value" dog
This list of categories and the value can be considered a type of list
extract-headless removes the head of the list, if it has one.
If the ket has no category, then return the ket unchanged.

-- if there is no category, then return the original ket:
extract-headless |dog>
    |dog>

extract-headless |animal: mammal: dog>
    |mammal: dog>

-- an abstract example:
extract-headless |a: b: c: d: e: f>
    |b: c: d: e: f>